هدف این پایان نامه توصیف اندازه نیم گروه های پیوسته قوی تولید شده با عملگرهای ماتریسی روی شبکه هاب باناخ با نرم پیوسته مرتب است. ابتدا بعضی تعاریف و مفاهیم مورد نیاز را بیان کرده، سپس به بررسی شبکه های باناخ و ویژگی های آنها می پردازیم و در ادامه بحث عملگرها و عملگرهای مثبت را مطرح می کنیم. بعد از آن به دلیل نیازی که خواهیم داشت، مختصری درباره پالایه ها و فراپالایه ها صحبت می کنیم. به دنبال آن ...

پالایه های فرکانسی به منظور تقویت محدوده های فرکانسی خاصی از طیف دامنه ی داده های لرزه ای و در نتیجه، بهبود نمایش ساختارهای متناظر با این محدوده ها صورت می گیرد. فرآیند پالایه کردن داده های لرزه ای می تواند در مراحل مختلف تفسیرهای ساختمانی و چینه ای مفید باشد. عموماً مفسر لرزه ای پالایه ی مدنظر خود را از روی طیف دامنه داده ی لرزه ای طراحی می کند که این کار بیشتر مبتنی بر تجربه ی مفسر است. در این...

روش‌های پالایه رقومی را برای کاهش یا حذف موج‌هایی غیرفیزیکی با بسامدهای زیاد به‌کار می‌برند. این موج‌های مزاحم ممکن است باعث ناپایداری یا انحراف نتایج  مدل‌های پیش‌بینی عددی وضع هوا از مقادیر درست شوند. در این مقاله در ابتدا روش‌های گوناگون آغازگری پالایه رقومی برای انواع متفاوت پالایه‌ها به لحاظ نظری با یکدیگر مقایسه‌ می‌‌شود و مزایا و معایب هریک مورد بررسی قرار می‌گیرد. در ادامه امکانات موجود...

نظریه مدل ها شاخه ای از منطق است که ساختارهای ریاضی را از دیدگاه منطق بررسی می کند. یکی از راه های ساختن ساختارها، روش فراضرب بر پایه ی مفاهیم فرافیلتر است. ما در این پایان نامه ، فرافیلترها و ارتباط عمیق آن ها با نظریه مدل ها را مطالعه می کنیم .نفطه اوج این روابط، قضیه واش است.قضیه فشردگی یک نتیجه آسان از این قضیه است. همچنین ترتیب رودین - کیسلر را روی خانواده فرافیلترها مطالعه می کنیم.می توان...

مؤلفه­های جابه­جایی استخراج شده از سازه­ها، یکی از پارامترهای مهم پایش سلامت ساختاری است که می­توان از آنها جهت پیش‌بینی رفتار انواع مختلف سازه­های بشری از جمله پل­ها استفاده کرد. این مطالعه با هدف ارزیابی رفتار ایمنی پل پیاده‌رو طبیعت، با استفاده از پایش ژئودتیکی با نرخ 30 ثانیه از سیستم GPS انجام شده­است. به‌منظور ارزیابی حرکت پل از پالایه کالمن، پالایه MA، میانگین زمانی و پالایه Median به‌تر...

تجزیه سری های زمانی به مولفه های تشکیل دهنده آن نظیر روند، تغییرات فصلی و ... ویا جدا کردن خطاها و اختلالات در یک فرآیند تصادفی را در اصطلاح، پالایش گوییم وابزاری که این مهم را ایفا می کند در اصطلاح پالایه نامیده می شود. انواع زیادی از پالایه ها تا کنون شناخته شده و مورد بررسی قرار گرفته اند. پالایه کالمن که تا به امروز یکی از پرکاربردترین پالایه ها بوده است در فضای حالت تعریف شده و کاربردهای ف...

انتشار بسته‌موج، یکی از شکل‌های مهم انتقال انرژی در جوّ است. همة امواج شناخته‌شده جوّی را می‌توان به‌صورت بسته‌موج شناسایی و دنبال کرد. متداول‌ترین روش برای شناسایی بسته‌موج‌‌ها تعیین پوش آنها است. در این مقاله با استفاده از داده‌‌های سامانه پیش‌بینی جهانی موسوم به GFS برای سه ماه دسامبر 2004 تا فوریه 2005، دو بسته‌موج در نظر گرفته شده و پوش آنها با هریک از روش‌‌های و‌مدوله‌سازی مختلط، تبدیل هیلب...

انتشار بسته موج، یکی از شکل های مهم انتقال انرژی در جوّ است. همة امواج شناخته شده جوّی را می توان به صورت بسته موج شناسایی و دنبال کرد. متداول ترین روش برای شناسایی بسته موج ها تعیین پوش آنها است. در این مقاله با استفاده از داده های سامانه پیش بینی جهانی موسوم به gfs برای سه ماه دسامبر 2004 تا فوریه 2005، دو بسته موج در نظر گرفته شده و پوش آنها با هریک از روش های و مدوله سازی مختلط، تبدیل هیلبرت ...

تکنیک si یک حوزه جدید در پردازش اطلاعات نمونه برداری شده آنالوگ باز کرده است که مزایایی چون عدم نیاز به خازنهای خطی شناور و مناسب بودن برای عملکرد ولتاژ پائین در طرحهای سیگنال مخلوط شده ، را در فرآیندهای ساخت استاندارد cmos آسان می کند. با این امکان می توان مزیت های مدارهای آنالوگ ( ارتباط با دنیای واقعی ، سرعت بالاتر و مصرف توان کمتر ) را درکنار مزیت های مجتمع سازی cmos ( کاهش ولتاژ تغذیه ، ام...

سابقه و هدف: دگر سنجی (Altmetrics) به دنبال ارزیابی تأثیر علمی با روش جدید مبتنی بر داده­های استخراج شده از وب اجتماعی است. هدف از این مقاله بیان مفهوم، مزایا، معایب و چالش‌های فرا روی دگر سنجی است.  مواد و روش­ها: این مقاله به‌صورت مروری و با استفاده از متون کتابخانه‌ای انجام شده است. یافته‌ ها: برخلاف روش ارزیابی سنتی که مبتنی بر سه پالایه مرور و داوری توسط همتایان، تعداد استنادها و ضریب تأثی...